Nuprl Definition : spread def
13,42
postcript
pdf
let
x
,
y
=
A
in
B
(
x
;
y
) is Primitive
latex
Up
core
1
,
core
1
origin